19.3 KB · ⇊ 7 parts · ⤓ Micron 19.3 KB · ⤓ HTML 128.3 KB

top

Die Legendre-Transformation (nach Adrien-Marie Legendre) gehört zu den Berührungstransformationen und dient als wichtiges mathematisches Verfahren zur Variablentransformation.

Eine Verallgemeinerung der Legendre-Transformation auf allgemeine Räume und nicht-konvexe Funktionen ist die Legendre-Fenchel-Transformation (auch Konvex-Konjugierte genannt).

• Definition

• In einer Variablen

• In mehreren Variablen

• Geometrische Bedeutung

• Beispiele

• Bei Abhängigkeit von mehreren Variablen

• Verallgemeinerungen

• Legendre-Fenchel-Transformation

• Anwendungsgebiete

• Beispiele von Anwendungen in der Physik

• Weblinks

• Einzelnachweise

Sei f : : D → → R {\displaystyle f\colon D\to \mathbb {R} } eine streng konvexe Funktion einer reellen Variablen, definiert auf D ⊆ ⊆ R {\displaystyle D\subseteq \mathbb {R} } . Die Legendre-Transformierte f ∗ ∗ : : D ∗ ∗ → → R {\displaystyle f^{*}\colon D^{*}\to \mathbb {R} } ist dann definiert als

f ∗ ∗ ( u ) = sup x ∈ ∈ D ( u x − − f ( x ) ) , mit u ∈ ∈ D ∗ ∗ , D ∗ ∗ := { u ∈ ∈ R : sup x ∈ ∈ D ( u x − − f ( x ) ) < ∞ ∞ } . {\displaystyle f^{*}(u)=\sup _{x\in D}(ux-f(x)),\quad {\text{mit}}\,\,u\in D^{*},\,D^{*}:=\left\{u\in \mathbb {R} :\sup _{x\in D}(ux-f(x))<\infty \right\}.}

Dabei ist mit sup {\displaystyle \sup } das Supremum gemeint.

Ist f {\displaystyle f} zudem differenzierbar, mit invertierbarer erster Ableitung, dann lässt sich das Supremum mit Mitteln der elementaren Analysis auswerten. Da die Funktion f {\displaystyle f} streng konvex ist, besitzt sie ein eindeutiges (lokales und globales) Minimum. Entsprechend ist die Funktion x ↦ ↦ u x − − f ( x ) {\displaystyle x\mapsto ux-f(x)} streng konkav und nimmt deswegen an der (eindeutigen) Stelle, an der die Ableitung gleich null ist, ein absolutes Maximum an. Daraus folgt, dass an der Stelle x ( u ) = ( f ′ ) − − 1 ( u ) {\displaystyle x(u)=(f')^{-1}(u)} das Supremum in f ∗ ∗ {\displaystyle f^{*}} angenommen wird, wobei ( f ′ ) − − 1 {\displaystyle (f')^{-1}} hier die Umkehrfunktion der Ableitung von f {\displaystyle f} beschreibt. Somit gilt:

f ∗ ∗ ( u ) = u ⋅ ⋅ x ( u ) − − f ( x ( u ) ) = u ⋅ ⋅ ( f ′ ) − − 1 ( u ) − − f ( ( f ′ ) − − 1 ( u ) ) ; {\displaystyle f^{*}(u)=u\cdot x(u)-f{\bigl (}x(u){\bigr )}=u\cdot (f')^{-1}(u)-f{\bigl (}(f')^{-1}(u){\bigr )};}

die Legendre-Transformierte kann also vollständig mithilfe von f {\displaystyle f} und ( f ′ ) − − 1 {\displaystyle (f')^{-1}} beschrieben werden.

Ähnlich wie in einer Dimension kann die Legendre-Transformation auch in höheren Dimensionen definiert werden. Sei X ⊂ ⊂ R n {\displaystyle X\subset \mathbb {R} ^{n}} konvex und f : : X → → R {\displaystyle f\colon X\to \mathbb {R} } eine streng konvexe Funktion. Dann ist die Legendre-Transformierte f ∗ ∗ : : D ∗ ∗ → → R {\displaystyle f^{*}\colon D^{*}\to \mathbb {R} } mit Definitionsmenge D ∗ ∗ := { u ∈ ∈ R n : sup x ∈ ∈ X ( ⟨ ⟨ u , x ⟩ ⟩ − − f ( x ) ) < ∞ ∞ } {\displaystyle D^{*}:=\left\{u\in \mathbb {R} ^{n}:\sup _{x\in X}(\langle u,x\rangle -f(x))<\infty \right\}} und Standardskalarprodukt ⟨ ⟨ ⋅ ⋅ , ⋅ ⋅ ⟩ ⟩ {\displaystyle \langle \cdot ,\cdot \rangle } definiert als

f ∗ ∗ ( u ) = sup x ∈ ∈ X ( ⟨ ⟨ u , x ⟩ ⟩ − − f ( x ) ) , u ∈ ∈ D ∗ ∗ {\displaystyle f^{*}(u)=\sup _{x\in X}(\langle u,x\rangle -f(x)),\quad u\in D^{*}}

Geometrisch lässt sich der Sachverhalt wie in der Abbildung veranschaulichen: Die Kurve (rot) kann, statt die Punktmenge anzugeben, aus der sie besteht, auch durch die Menge aller Tangenten charakterisiert werden, die sie einhüllen. Genau das passiert bei der Legendre-Transformation. Die Transformierte f ∗ ∗ ( u ) = u x ( u ) − − f ( x ( u ) ) {\displaystyle f^{*}(u)=ux(u)-f(x(u))} ordnet der Steigung u {\displaystyle u} einer jeden Tangente deren negativen y-Achsenabschnitt zu. Es ist also eine Beschreibung derselben Kurve – nur über einen anderen Parameter, nämlich u {\displaystyle u} statt x {\displaystyle x} .

• Gegeben sei die Funktion f ( x ) = x 2 + 1 {\displaystyle f(x)=x^{2}+1} . Dann gilt u = f ′ ( x ) = 2 x {\displaystyle u=f'(x)=2x} , also

x ( u ) = ( f ′ ) − − 1 ( u ) = u 2 {\displaystyle x(u)=(f')^{-1}(u)={\frac {u}{2}}} .

Als Legendre-Transformierte f ∗ ∗ {\displaystyle f^{*}} von f {\displaystyle f} ergibt sich damit f ∗ ∗ ( u ) = u x ( u ) − − f ( x ( u ) ) = u 2 2 − − ( u 2 4 + 1 ) = u 2 4 − − 1 {\displaystyle f^{*}(u)=ux(u)-f(x(u))={\frac {u^{2}}{2}}-\left({\frac {u^{2}}{4}}+1\right)={\frac {u^{2}}{4}}-1} .

• Für die Exponentialfunktion f ( x ) = e x {\displaystyle f(x)=e^{x}} gilt u = f ′ ( x ) = e x {\displaystyle u=f'(x)=e^{x}} , also

x ( u ) = ( f ′ ) − − 1 ( u ) = ln ⁡ ⁡ ( u ) {\displaystyle x(u)=(f')^{-1}(u)=\ln(u)} .

Als Legendre-Transformierte f ∗ ∗ {\displaystyle f^{*}} von f {\displaystyle f} ergibt sich damit f ∗ ∗ ( u ) = u x ( u ) − − f ( x ( u ) ) = u ln ⁡ ⁡ ( u ) − − u {\displaystyle f^{*}(u)=ux(u)-f(x(u))=u\ln(u)-u}

für u > 0 {\displaystyle u>0} .

• Gegeben sei eine symmetrische und positiv definite Matrix A ∈ ∈ R n × × n {\displaystyle A\in \mathbb {R} ^{n\times n}} . Dann ist die durch A {\displaystyle A} definierte quadratische Form f : : R n → → R {\displaystyle f\colon \mathbb {R} ^{n}\to \mathbb {R} } mit f ( x ) = ⟨ ⟨ x , A x ⟩ ⟩ {\displaystyle f(x)=\langle x,Ax\rangle } eine konvexe Funktion. Die durch g ( x ) = ⟨ ⟨ u , x ⟩ ⟩ − − f ( x ) {\displaystyle g(x)=\langle u,x\rangle -f(x)} mit u ∈ ∈ R n {\displaystyle u\in \mathbb {R} ^{n}} definierte Funktion hat den Gradienten u − − 2 A x {\displaystyle u-2Ax} und die negativ definite Hesse-Matrix − − 2 A {\displaystyle -2A} . Die Funktion g {\displaystyle g} nimmt daher an der Stelle x = 1 2 A − − 1 u {\displaystyle x={\tfrac {1}{2}}A^{-1}u} ihr eindeutig bestimmtes globales Maximum an, d. h. für die Legendre-Transformierte f ∗ ∗ {\displaystyle f^{*}} von f {\displaystyle f} gilt

f ∗ ∗ ( u ) = sup x ∈ ∈ R n ( ⟨ ⟨ u , x ⟩ ⟩ − − f ( x ) ) = g ( 1 2 A − − 1 u ) = 1 4 ⟨ ⟨ u , A − − 1 u ⟩ ⟩ {\displaystyle f^{*}(u)=\sup _{x\in \mathbb {R} ^{n}}(\langle u,x\rangle -f(x))=g\left({\tfrac {1}{2}}A^{-1}u\right)={\tfrac {1}{4}}\langle u,A^{-1}u\rangle } .

Die Änderung der Abhängigkeit einer Funktion f ( x , y ) {\displaystyle f(x,y)} von einer unabhängigen Variablen x {\displaystyle x} zu einer anderen u {\displaystyle u} mittels einer partiellen Ableitung von f {\displaystyle f} nach x {\displaystyle x} ist:

u = ∂ ∂ f ∂ ∂ x {\displaystyle u={\frac {\partial f}{\partial x}}} .

Hierbei stellt u ( x , y ) {\displaystyle u(x,y)} geometrisch die Steigung in x-Richtung der Tangentenebene an die Funktion f ( x , y ) {\displaystyle f(x,y)} dar. Daher spricht man von Berührungstransformation. Die Funktion F ( u , y ) {\displaystyle F(u,y)} wird als Legendre-Transformierte bezüglich der Variablen x {\displaystyle x} bezeichnet.

Die Legendre-Transformierte lässt sich wie folgt herleiten. Der Wert von f ( x , y ) {\displaystyle f(x,y)} kann alternativ als

f ( x , y ) ≈ ≈ f ( x 0 , y ) + ∂ ∂ f ∂ ∂ x Δ Δ x , Δ Δ x = x − − x 0 {\displaystyle f(x,y)\approx f(x_{0},y)+{\frac {\partial f}{\partial x}}\Delta x,\;\Delta x=x-x_{0}}

geschrieben werden. Definiert man nun f ( x 0 , y ) ≡ ≡ F ( u , y ) {\displaystyle f(x_{0},y)\equiv F(u,y)} , erhält man für die Legendre-Transformierte

F ( u , y ) = f ( x , y ) − − ∂ ∂ f ∂ ∂ x Δ Δ x {\displaystyle F(u,y)=f(x,y)-{\frac {\partial f}{\partial x}}\Delta x} .

Meistens wird x 0 = 0 {\displaystyle x_{0}=0} gewählt, und somit folgt

F ( u , y ) = f ( x , y ) − − ∂ ∂ f ∂ ∂ x x {\displaystyle F(u,y)=f(x,y)-{\frac {\partial f}{\partial x}}x} .

Für letztere Definition ist die Legendre-Transformierte die y {\displaystyle y} -Komponente des Schnittpunkts der Tangentenebene an f ( x , y ) {\displaystyle f(x,y)} mit der Ebene x = 0 {\displaystyle x=0} . Für Funktionen in der Ebene spricht man vom Achsenabschnitt (siehe auch Geradengleichung).

Praktisch erfolgt also der Austausch der unabhängigen Variablen durch Subtraktion des Produkts aus alter und neuer Variable u x {\displaystyle ux} von der Ausgangsfunktion:

F ( u , y ) = f ( x , y ) − − u x {\displaystyle F(u,y)=f(x,y)-ux} .

Dies wird auch bei Betrachtung des totalen Differentials der Legendre-Transformierten deutlich:

d ( f ( x , y ) − − u x ) = d f ( x , y ) − − x d u − − u d x = ∂ ∂ f ∂ ∂ x d x + ∂ ∂ f ∂ ∂ y d y − − x d u − − u d x = ∂ ∂ f ∂ ∂ y d y − − x d u = d F ( u , y ) {\displaystyle \mathrm {d} (f(x,y)-ux)=\mathrm {d} f(x,y)-x\,\mathrm {d} u-u\,\mathrm {d} x={\frac {\partial f}{\partial x}}\mathrm {d} x+{\frac {\partial f}{\partial y}}\mathrm {d} y-x\mathrm {d} u-u\mathrm {d} x={\frac {\partial f}{\partial y}}\mathrm {d} y-x\,\mathrm {d} u=\mathrm {d} F(u,y)} .

Die Legendre-Fenchel-Transformationcite-ref-1[1] (auch Konvex-Konjugierte genannt), ist die Verallgemeinerung der Legendre-Transformation für allgemeine Funktionen. Sei f : X → → R ∪ ∪ { ∞ ∞ } {\displaystyle f:X\to \mathbb {R} \cup \{\infty \}} eine Funktion, dann ist die Legendre-Fenchel-Transformation Λ Λ f ∗ ∗ : X ∗ ∗ → → R ∪ ∪ { ∞ ∞ } {\displaystyle \Lambda _{f}^{*}:X^{*}\to \mathbb {R} \cup \{\infty \}} , also eine Funktion auf dem topologischen Dualraum X ∗ ∗ {\displaystyle X^{*}} , gegeben durch

Λ Λ f ∗ ∗ ( x ∗ ∗ ) = sup x ∈ ∈ X { ⟨ x , x ∗ ∗ ⟩ − − f ( x ) } {\displaystyle \Lambda _{f}^{*}\left(x^{*}\right)=\sup _{x\in X}\left\{\left\langle x,x^{*}\right\rangle -f(x)\right\}}

wobei es sich bei ⟨ ⟨ . , . ⟩ ⟩ {\displaystyle \langle .,.\rangle } um die duale Paarung handelt.

Verwendung in der Physik findet die Legendre-Transformation vor allem in der (statistischen) Thermodynamik (z. B. Umwandlung der Fundamentalgleichung bzw. beim Übergang zwischen thermodynamischen Potentialen unter verschiedenen Randbedingungen) und beim Übergang von der Lagrangeschen zur Hamiltonschen Mechanik (Lagrange-Funktion zu Hamilton-Funktion). In der Thermodynamik verwendet man die untere Vorzeichenkonvention ( g = f − − u x {\displaystyle g=f-ux} ).

Die Legendre-Transformation spielt – wie die Berührungstransformationen insgesamt – des Weiteren eine Rolle in der Mechanik, der Variationsrechnung und in der Theorie der partiellen Differentialgleichungen 1. Ordnung. In der Mechanik verwendet man die obere Vorzeichenkonvention ( g = u x − − f {\displaystyle g=ux-f} ).

In der analytischen Mechanik gewinnt man durch Legendre-Transformation aus der Lagrangefunktion die Hamiltonfunktion und umgekehrt:

H ( q , p ) = p q ˙ ˙ ( q , p ) − − L ( q , q ˙ ˙ ( q , p ) ) mit p = ∂ ∂ L ∂ ∂ q ˙ ˙ {\displaystyle H(q,p)=p\,{\dot {q}}(q,p)-L(q,{\dot {q}}(q,p))\quad {\text{mit}}\quad p={\frac {\partial L}{\partial {\dot {q}}}}}

In der Thermodynamik kann man durch Legendre-Transformation aus der Fundamentalgleichung der Thermodynamik die thermodynamischen Potentiale ableiten. Dabei findet beispielsweise ein Übergang von der inneren Energie U {\displaystyle U} (abhängig von der Entropie S {\displaystyle S} ) zur Helmholtz-Energie F {\displaystyle F} (abhängig von der Temperatur T {\displaystyle T} ) statt. Im Fall eines idealen Gases gilt also:

F ( T , V , N ) = U ( S , V , N ) − − ( ∂ ∂ U ∂ ∂ S ) V , N ⋅ ⋅ S = U − − T S {\displaystyle F(T,V,N)=U(S,V,N)-\left({\frac {\partial U}{\partial S}}\right)_{V,N}\cdot S=U-TS} .

Die hier verwendete Ableitungsnotation bedeutet Ableitung der Funktion U ( S , V , N ) {\displaystyle U(S,V,N)} nach S {\displaystyle S} , wobei V {\displaystyle V} und N {\displaystyle N} konstant gehalten werden.

Analog dazu ist auch ein Übergang von einem thermodynamischen Potential zu einem anderen möglich, beispielsweise von der Enthalpie H {\displaystyle H} zur Gibbs-Energie G {\displaystyle G} :

G ( T , p , N ) = H ( S , p , N ) − − ( ∂ ∂ H ∂ ∂ S ) p , N ⋅ ⋅ S = ( U + p V ) − − T S {\displaystyle G(T,p,N)=H(S,p,N)-\left({\frac {\partial H}{\partial S}}\right)_{p,N}\cdot S=(U+pV)-TS} .

Auf die gleiche Weise erhält man auch die anderen thermodynamischen Potentiale, wobei durch eine Legendre-Transformation immer eine generalisierte Koordinate durch die konjugierte thermodynamische Kraft ersetzt wird.

• Alexander Leifhelm: Die Legendre-Transformation als geometrisches Mittel der Variablentransformation in der Physik. (PDF) 12. Oktober 2015, abgerufen am 4. August 2019.

• Making Sense of the Legendre Transform (PDF; 231 kB) by R. K. P. Zia, Edward F. Redish and Susan R. McKay

cite-note-11. ↑ A note on the LF transform. Abgerufen am 3. Februar 2021.